Type Theory – alle Bücher, CDs und LPs

William M. Farmer
Simple Type Theory

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematical ideas. The book is an introduction to sim…

lieferbar innerhalb 2-3 Wochen

Buch

Egbert Rijke
Introduction to Homotopy Type Theory

This up-to-date introduction to type theory and homotopy type theory will be essential reading for advanced undergraduate and graduate students interested in the foundations and formalization of mathemati…

lieferbar ab 31.8.2025.

Buch

Patricia Melin, Oscar Castillo
Type-3 Fuzzy Logic and Fractal Theory for Medical Diagnosis

This book is intended to be a reference for scientists and engineers interested in applying type-3 fuzzy logic and fractal theory techniques in medical diagnosis. In this book, a new model based on type-3…

lieferbar innerhalb 2-3 Wochen

Buch

András Horváth, Miklós Telek
Phase Type Distributions

Phase type distributions are widely applicable modeling and statistical tools for non-negative random quantities. They are built on Markov chains, which provide a simple, intuitive stochastic interpretati…

lieferbar innerhalb 1-2 Wochen

Buch

Liquid Tension Experiment

LTE3

Im heutigen Progressive Rock scheint es, als gäbe es jede Woche eine neue Supergroup. Aber lange bevor das die Norm wurde, und bevor Musiker regelmäßig in mehr als einer Band involviert waren, gab es Liqu…

lieferbar in mind. 4 Wochen

2 CDs

Liquid Tension Experiment

LTE3 (180g) (Limited Deluxe Box Set) (Opaque Hot Pink Vinyl)

Im heutigen Progressive Rock scheint es, als gäbe es jede Woche eine neue Supergroup. Aber lange bevor das die Norm wurde, und bevor Musiker regelmäßig in mehr als einer Band involviert waren, gab es Liqu…

lieferbar innerhalb von 3 Tagen

3 LPs, 2 CDs, Blu-ray Disc

Internationale Institutionen

Institutionen spielen eine zentrale Rolle bei der Kooperation und Konfliktregelung in der internationalen Politik. Sie beschränken oder ermöglichen bestimmte Verhaltensweisen und tragen dadurch zur Bearbe…

lieferbar innerhalb 2-3 Wochen

Buch

Georg Reiff
Religionssoziologische Gottesbilder

Dieses Buch untersucht individuelle Gottesvorstellungen christlicher Gläubiger. Auf Grundlage der in einer qualitativen Interviewstudie erhobenen empirischen Daten werden individuelle Gottesbilder rekonst…

sofort lieferbar

Buch

Liquid Tension Experiment

LTE3 (Limited Artbook)

Im heutigen Progressive Rock scheint es, als gäbe es jede Woche eine neue Supergroup. Aber lange bevor das die Norm wurde, und bevor Musiker regelmäßig in mehr als einer Band involviert waren, gab es Liqu…

lieferbar innerhalb 2-3 Wochen

2 CDs, Blu-ray Disc

Carole King

The Living Room Tour (180g) (Limited Numbered Edition) (Green Marbled Vinyl)

Carole King ist eine amerikanische Singer-Songwriterin und Komponistin. Sie war die erfolgreichste weibliche Singer-Songwriterin der zweiten Hälfte des 20. Jahrhunderts und schrieb (teils zusammen mit and…

lieferbar innerhalb einer Woche

2 LPs

Katie Ebner-Landy
The Character Sketch as Philosophy

Katie Ebner-Landy shows that early modern Europeans, inspired by the ancient philosopher Theophrastus, embraced the character sketch as a source of moral and political education. Yet Enlightenment thinker…

lieferbar ab 21.10.2025.

Buch

Pickle Darling

Battlebots (Ltd. Shockwave Swirl Vinyl)

Lukas Mayo hatte nicht vor, seinen Laptop während der Produktion von Battlebots kaputt zu machen, aber am Ende hielt das Gerät das einfach nicht mehr aus. Die Dateien wurden zu schwer, zu unhandlich, zu ü…

lieferbar ab 5.9.2025.

LP

Pickle Darling

Battlebots

Lukas Mayo hatte nicht vor, seinen Laptop während der Produktion von Battlebots kaputt zu machen, aber am Ende hielt das Gerät das einfach nicht mehr aus. Die Dateien wurden zu schwer, zu unhandlich, zu ü…

lieferbar ab 5.9.2025.

CD

Emily Huddart Kennedy
Eco-Types

Why acknowledging diverse eco-social relationships can help us overcome the political polarization that undermines our ability to protect the environment When we picture the ideal environmentalist, we li…

lieferbar innerhalb 1-2 Wochen

Buch

Linda Smith

Till Another Time: 1988 - 1996

Product Information When Linda Smith purchased a 4 track cassette recorder in the mid-1980s, it was not with the intention of launching a solo career. At the time, she was playing guitar in a band calle…

lieferbar innerhalb 2-3 Wochen

CD

David I Backer
As Public as Possible

A witty and provocative treatise on the financial policies we'll need to make our public schools work for all childrenFrom the anti-CRT panic to efforts to divert tax dollars to charter schools, the right…

lieferbar ab 2.12.2025.

Buch

Stefan Müller-Stach
The Code of Mathematics

Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. Besides selected ideas …

lieferbar innerhalb 2-3 Wochen

Buch

Stergios Chatzikyriakidis, Robin Cooper, Eleni Gregoromichelaki
Types and the Structure of Meaning

Addresses the role of structure in semantic analysis from the perspective of theories of meaning using rich theories of types. Also relates the theory of frames to these type theories as introducing, to s…

lieferbar innerhalb 2-3 Wochen

Buch

Stergios Chatzikyriakidis, Robin Cooper, Eleni Gregoromichelaki
Types and the Structure of Meaning

Addresses the role of structure in semantic analysis from the perspective of theories of meaning using rich theories of types. Also relates the theory of frames to these type theories as introducing, to s…

lieferbar innerhalb 2-3 Wochen

Buch

Lindemann

Skills In Pills (180g)

Lindemann sind Till Lindemann und Peter Tägtgren. Till Lindemann ist der Sänger von Rammstein, die bis heute ca. 17 Mio. Tonträger verkauft haben und damit eine der weltweit erfolgreichsten und respekti…

lieferbar innerhalb einer Woche

LP

Trefferliste "Type Theory" - alle Bücher, CDs und LPs